soundness theorem中文是什么意思

• 可靠性定理

• "soundness"中文翻译    n. 1.完好；健全；稳健，确实。 2.坚固；公正，正当 ...
• "theorem"中文翻译    n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
• "soundness" 中文翻译 :    n. 1.完好；健全；稳健，确实。 2.坚固；公正，正当。 3.坚固性，坚固度。
• "cement soundness" 中文翻译 :    水泥安定性; 水泥体积安定性
• "certificate of soundness" 中文翻译 :    合格证书
• "degree of soundness" 中文翻译 :    坚固程度; 完好程度
• "financial soundness" 中文翻译 :    财务稳健性
• "hydraulic soundness" 中文翻译 :    液密性
• "internal soundness" 中文翻译 :    内部完整性; 内部质量
• "management soundness" 中文翻译 :    稳健性管理指标
• "radiographic soundness" 中文翻译 :    射线照相合格性
• "score for soundness" 中文翻译 :    健全种子鉴定
• "soundness of cement" 中文翻译 :    水泥安定性; 水泥固定性; 水泥体积安定性
• "soundness of feet" 中文翻译 :    四肢健实
• "soundness of rock" 中文翻译 :    岩石的坚硬性
• "soundness test" 中文翻译 :    安定性试验; 健性试验; 可靠性测试；坚固性测试；稳定性测试; 耐固性试验
• "structural soundness" 中文翻译 :    结构坚固性
• "technical soundness" 中文翻译 :    技术可靠性
• "test for soundness" 中文翻译 :    水泥安定性试验; 完好性试验
• "s theorem" 中文翻译 :    贝叶斯定理
• "theorem" 中文翻译 :    n. 1.(能证明的)一般原理，公理，定律，法则。 2.【数学】定理。 -matic , -matical adj.,-ically adv.
• "accelerated soundness test" 中文翻译 :    加速固度试验; 加速坚固度试验
• "cement soundness test" 中文翻译 :    水泥安定性试验
• "inference rule soundness" 中文翻译 :    推理规则的可靠性; 推理规则的有效性; 推理规则有效性
• "le chatelier soundness test" 中文翻译 :    雷氏夹法

• Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed . the syntax and semantics of lp ( x ) are discussed . the soundness theorem is proved
  四、格值逻辑系统的研究建立了基于格蕴涵代数的格值命题逻辑系统l试x ) ，并讨论了它的语法和语义问题，证明了可靠性定理。
• In this thesis , the author just discusses horn clause sets , and gives how to transform horn clause set into neural network . go a step further , the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle , and proves completeness theorem and soundness theorem of the algorithm for resolution
  本文将所讨论的子句集限制在horn子句集上，给出了horn子句集转化为一个神经网络模型的方法，进j一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。
• Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
  第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统lmp队）中引进量词和谓词，建立格值模态一阶逻辑系统lmf （广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的skolem标准型和体解释；在此基础上，对基于系统lmf （ ）的a一归结原理进行了初步探讨
• Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ) , f ( will ) , h ( ever always ) and g ( will always ) into lp ( x ) , put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance , gave detailed semantic interpretation and syntax structure , and discussed some properties of it , then proved soundness theorem and consistence theorem . furthermore , studied ( a , t ) - resolution principle which is related to time , gave some rules of computing tense resolvent , and put forward the method of tense resolution
  第二部分：关于格值时态命题逻辑系统及其归结方法的研究此部分的主要工作是在格值命题逻辑系统lp ( x )中引进时态算子e (曾经) 、 f (将会)及其对偶算子h (曾经总是) 、 g (将会总是) ，提出了以时轴为语境的格值时态命题逻辑系统ltp ( x ) ，并给出其具体的语义解释和语法结构，并讨论了它的一些性质，证明了该系统的可靠性和协调性。

• soundness theorem перевод